Protopolybia sedula is a social swarming wasp, widely spread throughout many countries in the Americas, including most of Brazil. Despite its distribution, studies of its behavioral ecology are scarce. This study aimed to describe its foraging activity and relation to climatic variables in the city of Juiz de Fora in southeastern Brazil. Three colonies were under observation between 07:00 and 18:00 during April 2012, January 2013, and March 2013. Every 30 minutes, the number of foragers leaving and returning to the (...) colony was registered along with air temperature and relative humidity. Activity began around 07:30¸ increased between 10:30 and 14:30, and ended around 18:30. A mean of 52.7 exits and 54 returns were measured every 30 minutes. The daily mean values were 1,107 ± 510.6 exits and 1,135 ± 854.8 returns. Only one colony showed a significant correlation between forager exits and temperature (rs = 0.8055; P < 0.0001) and between exits and relative humidity (rs = -0.7441; P = 0.0001). This paper shows that climatic variables are likely to have little control on the foraging rhythm of P. sedula when compared to other species, suggesting the interaction of other external and internal factors as stimuli of species foraging behavior. (shrink)

Filósofos como Marcuse han subrayado las propiedades liberadoras del quehacer artístico. Pero si hemos de pensar el arte como el Gran Rechazo, es necesario mostrar qué rechaza el arte y con qué busca sustituirlo. Respecto a estas preguntas, existen dos respuestas antagónicas. Mientras una busca en la experiencia artística rechazar lo dado en nombre de una verdad intemporal, la otra también reniega de lo dado, pero admite el carácter provisorio de toda verdad. Aunque en apariencia sutil, esta distinción es sustancial. (...) A partir de una lectura de Platón, muestro por qué en la primera posición no hay cabida para lo humano, y por qué de ella se desprenden implicaciones totalitarias. Para caracterizar a la segunda posición, me sirvo de la concepción estética de Octavio Paz y de la propuesta escultórica de Alexander Calder. Ambas propuestas permiten conciliar la insatisfacción que palpita en el arte con la alteridad que caracteriza a lo humano. (shrink)

El concepto de desarrollo humano del Programa de las Naciones Unidas para el Desarrollo (PNUD) surge en 1990 como una crítica a la consideración de la economía como el fin último de los esfuerzos del desarrollo. En la visión del PNUD, la economía es considerada un fin relativo, es decir, un fin y un medio para el desarrollo humano. Al considerar, por su parte, el fin del desarrollo humano, este es identificado con el ensanchamiento de las opciones y libertades de (...) que gozan los individuos. En este sentido, este concepto de desarrollo humano hace alusión a una práctica política más que a un entendimiento ético-ontológico del ser humano, evitando referirse a desarrollo humano entendido como un desarrollo del ser humano. Este artículo explora los antecedentes del concepto del desarrollo humano del PNUD y los fines que consideran estos enfoques previos. Se observa que la consideración subjetivista del PNUD proviene de la teoría de Amartya Sen, quien queda sujeto a la crítica objetivista de Martha Nussbaum al no considera un fin objetivo para los asuntos humanos, crítica que puede de igual manera aplicarse al concepto de desarrollo humano del PNUD. (shrink)

This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...) interpretation of Barad and Butler as being part of the same dialectical movement, in which materialism and idealism fluctuate in their mutual criticisms, thus continuing the procession towards 'new knowledge' and emancipation, or freedom, through their motions back and forth. (shrink)

Experts in Artificial Intelligence (AI) development predict that advances in the development of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance is not made prudently and critically-reflexively, it can result in negative outcomes for humanity. For this reason, several researchers in the area have developed a robust, beneficial, and safe concept of AI for the preservation of humanity and the environment. Currently, several of the open problems in the field of AI research (...) arise from the difficulty of avoiding unwanted behaviors of intelligent agents and systems, and at the same time specifying what we really want such systems to do, especially when we look for the possibility of intelligent agents acting in several domains over the long term. It is of utmost importance that artificial intelligent agents have their values aligned with human values, given the fact that we cannot expect an AI to develop human moral values simply because of its intelligence, as discussed in the Orthogonality Thesis. Perhaps this difficulty comes from the way we are addressing the problem of expressing objectives, values, and ends, using representational cognitive methods. A solution to this problem would be the dynamic approach proposed by Dreyfus, whose phenomenological philosophy shows that the human experience of being-in-the-world in several aspects is not well represented by the symbolic or connectionist cognitive method, especially in regards to the question of learning values. A possible approach to this problem would be to use theoretical models such as SED (situated embodied dynamics) to address the values learning problem in AI. (shrink)

This research was done in Juiz de Fora, Minas Gerais, Brazil on february 2012, with objective was to determine which species of social wasps visiting mango fruits, their behaviors displayed by them while foraging and verify which the species of wasps visitors offer risk of accidents to farmers. The studied area was monitored during February 2012, from 8:00 to 17:00. in a 144 hour effort, and the data collected included the time of activity, diversity, aggressiveness and the general behavior of (...) social wasps around the fruits. There were registered a total of 175 individuals of 12 different species, healthy fruits were damaged during the day, and we registered the abundance and richness peaks throughout the day. This study indicated the needs for special care during the harvest, as aggressive wasps are indeed present and the abundant, resulting in a possible increase of the risk for the workers. (shrink)

This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...) of construction. (shrink)

Pekakak adalah salah satu tokoh yang memiliki pengetahuan mendalam dan perencanaan yang cermat. Saat fajar menyingsing, ia terlihat bertengger di atas pohon. Dengan kemampuan sempurna untuk mengontrol kecepatan penerbangan miliknya, seperti kapan harus memperlambat atau mempercepat, dia dapat dengan mudah menghitung cara optimal untuk menangkap ikan.

As proposições condicionais receberam atenção teórica concentrada, embora intermitente, desde a Antiguidade. A atenção durante últimos quarenta anos tem sido intensa. Nesse artigo, apresentaremos os principais desenvolvimentos da análise lógica acerca das proposições condicionais e discutiremos como elas desempenham papel central em muitas teorias filosóficas. Na primeira parte dessas observações introdutórias, mostraremos como os antigos, principalmente as escolas megárica e estoica, envolveram-se com a questão dos condicionais e quão importante isso foi para os posteriores desenvolvimentos da análise lógica dos condicionais (...) no medievo e na Idade Moderna. Por fim, apresentaremos, já na contemporaneidade, C. I. Lewis expondo sua teoria da implicação estrita em franca oposição à doutrina da implicação que ele julgava errada. Espera-se que este trabalho sirva como a apresentação panorâmica de um campo que em lógica ainda é muito frutífero e fecundo para aprofundamentos e novas ideias. (shrink)

Una interpretación aristotélica del concepto de desarrollo humano propone como fin último del desarrollo la eudaimonía o felicidad, esto es, la plena realización de la capacidad eudemónica en el alma humana. Para esto se requiere del desarrollo de sus partes racional e irracional, lo que demanda como medios una ética y una dianoética del desarrollo, referidos a los modos de ser de las respectivas partes del alma. La interacción entre ambas partes genera siempre un ciclo virtuoso, existiendo la posibilidad de (...) influencias externas a través de la educación, la costumbre, la economía, la legislación y la política. -/- An Aristotelian approach of the concept of human development proposes eudaimonía or happiness as the ultimate goal of development, that is, the full realization of the eudemonic capacity in the human soul. For this, the development of its rational and irrational parts is required, which in turn requires an ethics and dianoethics of development as means, referring to the characters of the respective parts of the soul. The interaction between both parts always generates a virtuous cycle, with the possibility of external influences through education, custom, economics, legislation and politics. (shrink)

Ophiocordyceps is a fungal pathogen of ants of the tribe Camponotini. It is called zombie fungus, since it changes the host behavior, causing them to die in an exposed position, typically clinging onto and biting into the adaxial surface of shrub leaves. This study aimed to describe the occurrence of parasitic associations between Ophiocordyceps and ants of the genus Camponotus in an urban fragment of Atlantic Rainforest in southeastern Brazil and to measure the rate of hyperparasitism in Ophiocordyceps by other (...) fungi in the same location. We found 57 individuals of four species of ants and three species of fungus. The age categories of fungi were equally distributed, and rate of hyperparasitism was 17.5% (n = 10). The sampled area was recognized as an important site of Ophiocordyceps occurrence. (shrink)

This record describes the occurrence of conflicts between stingless bees of an active colony of Scaptotrigona bipunctata (Lepeletier) and individuals of Melipona quadrifasciata (Lepeletier), and discusses possible hypotheses that motivated the attack. Behaviors were observed in an active colony of S. bipunctata. The active nest guards detained individuals of M. quadrifasciata who invaded the colony. The chances of misidentification of the colony entrance and error in the species possible aggregation were discarded, however, the hypothesis of the real invasion recorded in (...) this study demonstrates a behavioral strategy by M. quadrifasciata suggests that there is an energy savings if successful in looting. (shrink)

Forrageamento por Recurso Alternativo em Época de Estiagem por Apis mellifera Linnaeus, 1758.

How can someone reconcile the desire to eat meat, and a tendency toward vegetarian ideals? How should we reconcile contradictory moral values? How can we aggregate different moral theories? How individual preferences can be fairly aggregated to represent a will, norm, or social decision? Conflict resolution and preference aggregation are tasks that intrigue philosophers, economists, sociologists, decision theorists, and many other scholars, being a rich interdisciplinary area for research. When trying to solve questions about moral uncertainty a meta understanding of (...) the concept of normativity can help us to develop strategies to deal with norms themselves. 2nd-order normativity, or norms about norms, is a hierarchical way to think about how to combine many different normative structures and preferences into a single coherent decision. That is what metanormativity is all about, a way to answer: what should we do when we don’t know what to do? In this study, we will review a decision-making strategy dealing with moral uncertainty, Maximization of Expected Choice-Worthiness. This strategy, proposed by William MacAskill, allows for the aggregation and inter-theoretical comparison of different normative structures, cardinal theories, and ordinal theories. In this study, we will exemplify the metanormative methods proposed by MacAskill, using has an example, a series of vegetarian dilemmas. Given the similarity to this metanormative strategy to expected utility theory, we will also show that it is possible to integrate both models to address decision-making problems in situations of empirical and moral uncertainty. We believe that this kind of ethical-mathematical formalism can be useful to help develop strategies to better aggregate moral preferences and solve conflicts. (shrink)

A pair of C functions are defined such that D has the halting problem proof's pathological relationship to simulating termination analyzer H. When H correctly determines that D correctly simulated by H must be aborted to prevent its own infinite execution then H is necessarily correct to reject D as specifying non-halting behavior. This exact same reasoning is applied to the Peter Linz Turing machine based halting problem proof. ...

What does Cyberpunk and AI Ethics have to do with each other? Cyberpunk is a sub-genre of science fiction that explores the post-human relationships between human experience and technology. One similarity between AI Ethics and Cyberpunk literature is that both seek a dialogue in which the reader may inquire about the future and the ethical and social problems that our technological advance may bring upon society. In recent years, an increasing number of ethical matters involving AI have been pointed and (...) debated, and several ethical principles and guides have been suggested as governance policies for the tech industry. However, would this be the role of AI Ethics? To serve as a soft and ambiguous version of the law? I would like to promote in this article a more Cyberpunk way of doing AI Ethics, whit a more anarchic way of governance. In this study, I will seek to expose some of the deficits of the underlying power structures of our society, and suggest that AI governance be subject to public opinion, so that ‘good AI’ can become ‘good AI for all’. (shrink)

Experts in Artificial Intelligence (AI) development predict that advances in the dvelopment of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance isn't done with prudence, it can result in negative outcomes for humanity. For this reason, several researchers in the area are trying to develop a robust, beneficial, and safe concept of artificial intelligence. Currently, several of the open problems in the field of AI research arise from the difficulty of avoiding unwanted (...) behaviors of intelligent agents, and at the same time specifying what we want such systems to do. It is of utmost importance that artificial intelligent agents have their values aligned with human values, given the fact that we cannot expect an AI to develop our moral preferences simply because of its intelligence, as discussed in the Orthogonality Thesis. Perhaps this difficulty comes from the way we are addressing the problem of expressing objectives, values, and ends, using representational cognitive methods. A solution to this problem would be the dynamic cognitive approach proposed by Dreyfus, whose phenomenological philosophy defends that the human experience of being-in-the-world cannot be represented by the symbolic or connectionist cognitive methods. A possible approach to this problem would be to use theoretical models such as SED (situated embodied dynamics) to address the values learning problem in AI. (shrink)

El desarrollo humano es, en el contexto de los estudios del desarrollo internacional, un concepto difundido a partir de 1990 por el Programa de las Naciones Unidas para el Desarrollo (PNUD). Este artículo propone una interpretación alternativa del concepto de desarrollo humano que resuelve algunas inconsistencias producidas por la confluencia de las distintas corrientes teóricas que dieron origen al concepto. La nueva interpretación propuesta proviene de los aportes del enfoque aristotélico de Martha Nussbaum y, más directamente, de la antropología aristotélica (...) y las nociones de acto y potencia. Se argumenta que el desarrollo humano puede ser entendido como el cambio que busca la realización plena del potencial humano. (shrink)

O pensamento axiomático de Hilbert foi um influente modelo filosófico que motivou movimentos como o positivismo no início do século XX, em diversas áreas dentro, e fora, da filosofia, como a epistemologia e a metamatemática. O formalismo axiomático fornece, através do uso da lógica de primeira ordem, uma importante fundação para modelos lógicos formais, o que, para Hilbert, representaria um modelo universal de investigação empírica, não só para a matemática, mas para todas as ciências naturais, e pela visão positivista, também (...) a filosofia. Contudo, no caso mais específico da matemática, existe uma certa descomunicação entre os fundamentos da matemática e sua prática, onde métodos informais, ainda promovem elegantes ferramentas para matemáticos de diversas áreas, inclusive, quando certos paradigmas tentam ser quebrados. É exatamente esta assincronia entre os fundamentos da matemática, e a sua prática que iremos investigar neste estudo. Lawvere, insatisfeito com a “fundação não fundamentada” do método axiomático proposto por Hilbert, e inspirado pela dialética hegeliana, procurou revisar os fundamentos da matemática pela lógica categórica e a Teoria das Categorias. Vemos neste estudo, como as interpretações de Lawvere de conceitos da lógica de Hegel, como, equivalência, unidade dos opostos e “aufheben”, permitem uma nova abordagem matemática, com um posicionamento filosófico que procura, de certa forma, transcender a dicotomia entre escolas analíticas e continentais. Lawvere trata a lógica objetiva de Hegel como uma possível estratégia para resolver o problema de aterramento lógico em metafísica. Por fim, vemos como as contribuições de Lawvere para a axiomatização da lógica categórica tiveram impactos inovadores na metamatemática, especialmente no desenvolvimento das fundações univalentes de Vladimir Voevodsky. (shrink)

A lineage of prominent philosophers who have discussed the second-person relation can be regarded as advancing structural accounts. They posit that the second-person relation effects one transformative change to the structure of practical reasoning. In this paper, I criticise this orthodoxy and offer an alternative, substantive account. That is, I argue that entering into second-personal relations with others does indeed affect one's practical reasoning, but it does this not by altering the structure of one's agential thought, but by changing what (...) reasons can become available. The importance of second-personal thought for action is heterogenous. Second-person relations make possible the emergence of a wide variety of different kinds of practical reasons: creating some, revealing others. Recognising this diminishes the appeal of the traditional, structural accounts of the practical significance of such second-personal relations. Moving away from structural accounts facilitates a more thorough understanding of the intersubjective form of action. (shrink)

Para comemorarmos o centenário do patrono da Educação Brasileira, Paulo Reglus Neves Freire, iremos neste breve estudo propor um diálogo entre a pedagogia libertária de Freire e algumas princípios filosóficos que a fundamentam. Inicialmente, investigamos a trajetória histórica do pedagogo nordestino, e os momentos mais marcantes de sua vida cosmopolita. Em segundo, apresentaremos alguns dos principais alicerces de sua metodologia pedagógica, contudo, dada a vasta obra publicada por Freire, qualquer breve revisão será fadada em apenas ser um breve vislumbre da (...) filosofia e pedagogia freireana. Por fim, iremos explorar algumas das origens filosóficas e políticas do conceito de pedagogia libertária, e como essas origens podem ser ligadas a filosofia Anarquista, dado a algumas semelhanças evidentes. A crítica a autoridade injustificada, a amorosa crença do caráter social e solidário do indivíduo humano, e um forte defesa da emancipação humana, algo que só pode ser alcançado através da busca pela liberdade e autonomia do sujeito. Tais paralelos levam à conclusão de que se a pedagogia libertária é um ato de amor, a filosofia libertária também deve ser, pois, ambas se nutrem da mesma fonte, e almejam o mesmo lugar: a emancipação humana. (shrink)

One of the strands of the Transhumanist movement, Singulitarianism, studies the possibility that high-level artificial intelligence may be created in the future, debating ways to ensure that the interaction between human society and advanced artificial intelligence can occur safely and beneficially. But how can we guarantee this safe interaction? Are there any indications that a Singularity may be on the horizon? In trying to answer these questions, We'll make a small introduction to the area of security research in artificial intelligence. (...) We'll review some of the current paradigms in the development of autonomous intelligent systems and evidence that we can use to prospect the coming of a possible technological Singularity. Finally, we will present a reflection using the COVID-19 pandemic, something that showed that our biggest problem in managing existential risks is our lack of coordination skills as a global society. (shrink)

For more than a century now, the automation of the means of work has created great apprehension among us. After all, will we all be replaced by machines in the future? Will all forms of labor be automatable? Such questions raise several criticisms in the literature concerned with machine ethics. However, in this study, I will approach this problem from another angle. After all, we can criticize the automation of the means of work in several ways. I invite the reader (...) to entertain the following hypothesis: What if the automation of the means of labor is something beneficial? What if human emancipation does come through our technological development? If the answer is yes, why do we still work so much? I conclude that if automation processes are applied to key points in our social structure, we can emancipate the individual from a reality where we work for no reason. (shrink)

Um posicionamento muito comum entre teóricos do campo de pesquisa em Inteligência Artificial é aquele no qual definimos “Inteligência” como uma capacidade intrinsecamente relacionada à perseguição de metas e objetivos, algo que podemos chamar de uma “definição teleológica” para o fenômeno de inteligência. Contudo, uma possível crítica contra esta definição pode ser levantada devido a sua aparente vagueza. Como qualquer comportamento pode ser descrito como um objetivo a ser cumprido, e funções de utilidade pertencem a uma vasta família de funções, (...) podemos dizer que “qualquer comportamento”, desde que esse possa ser descrito como um objetivo sendo perseguido (uma função de utilidade sendo maximizada), serve como evidência de agência inteligente. Neste estudo, gostaria de propor uma definição alternativa para o conceito de Inteligência. Uma definição metafísica, i.e., a Hipótese da Permissibilidade. Para defender tal proposta, irei apresentar um paralelo entre: (1) teoria da otimização; (2) nosso entendimento contemporâneo sobre fenômenos físicos; e (3) aquilo que chamamos de Aprendizagem de Máquina. No fim, proponho que “Inteligência” deve ser compreendida como uma propriedade física permissível de nossa realidade. Uma propriedade a que todos os sistemas físicos têm acesso. (shrink)

One of the strands of the Transhumanist movement, Singulitarianism, studies the possibility that high-level artificial intelligence may be created in the future, debating ways to ensure that the interaction between human society and advanced artificial intelligence can occur safely and beneficially. But how can we guarantee this safe interaction? Are there any indications that a Singularity may be on the horizon? In trying to answer these questions, We'll make a small introduction to the area of security research in artificial intelligence. (...) We'll review some of the current paradigms in the development of autonomous intelligent systems and evidence that we can use to prospect the coming of a possible technological Singularity. Finally, we will present a reflection using the COVID-19 pandemic, something that showed that our biggest problem in managing existential risks is our lack of coordination skills as a global society. (shrink)

One of the strands of the Transhumanist movement, Singulitarianism, studies the possibility that high-level artificial intelligence may be created in the future, debating ways to ensure that the interaction between human society and advanced artificial intelligence can occur safely and beneficially. But how can we guarantee this safe interaction? Are there any indications that a Singularity may be on the horizon? In trying to answer these questions, We'll make a small introduction to the area of security research in artificial intelligence. (...) We'll review some of the current paradigms in the development of autonomous intelligent systems and evidence that we can use to prospect the coming of a possible technological Singularity. Finally, we will present a reflection using the COVID-19 pandemic, something that showed that our biggest problem in managing existential risks is our lack of coordination skills as a global society. (shrink)

A mais de um século que o fenômeno da automatização dos meios de trabalho vem criando grande apreensão entre nós. Afinal, seríamos todos substituídos por máquinas em algum futuro próximo? Seriam todas as formas de trabalho automatizáveis? Tais questionamentos vêm levantando uma série de críticas pela comunidade engajada em ética de máquina e ética da inteligência artificial. Contudo, gostaria de nesta breve resenha, atacar este problema por outro ângulo, afinal, podemos criticar tal fenômeno de uma ampla variedade de pontos de (...) vista. Gostaria de convidar o leitor a avaliar pela seguinte perspectiva: e se a automação dos meios de trabalho for algo benéfico? E se a emancipação humana realmente venha através de nosso desenvolvimento tecnológico? Se a resposta for sim, por quê quê ainda trabalhamos tanto? Acredito que se os processos de automação forem aplicados a pontos chave de nossa estrutura social, podemos vir a emancipar o indivíduo de uma realidade onde realmente trabalhamos por motivo nenhum, inutilmente. Se abandonarmos a cultura do consumismo, a cultura que atrela o trabalho e o consumo a moralidade, uma alternativa mais próspera seria adotarmos a cultura que abraça o valor da autonomia e liberdade do indivíduo humano. (shrink)

O fenômeno de aceleração social, intimamente ligado a nossa modernização tecnológica e os sistemas políticos e sociais que adotamos, vem sendo alvo de questionamentos por parte da teoria crítica por diversos filósofos e sociólogos, principalmente em relação a se tal "aceleração" seja algo que, possa ser justificável pelo bem comum da sociedade. De fato, as rápidas mudanças que ocorreram no último século causaram uma tremenda mudança em nossos estilos-de-vida, e na maneira como experienciamos o mundo. Que a nossa sociedade mudou (...) e continua a mudar é um fato evidente quando olhamos criticamente para o passado e presente, e comparamos diferentes épocas da história humana. Neste ensaio tentaremos explorar algumas possíveis hipóteses que fundamentem o comportamento aceleracionista em certos fatores e mecanismo biológicos que caracterizam os sistemas de motivação e saciação humanos. Também tentaremos mostrar como certos fenômenos sociais podem auxiliar em fortalecer este tipo de comportamento, e suas possíveis origens evolutivas. Este estudo tem como objetivo principal fundamentar a Tese Aceleracionista em evidências neurofisiológicas, cognitivo-comportamentais, evolutivas e sociais. Palavras-chave: aceleração; recompensa; saciação; ciências cognitivas; teoria dos gêneros. (shrink)

Aristotle said that induction (epagōgē) is a proceeding from particulars to a universal, and the definition has been conventional ever since. But there is an ambiguity here. Induction in the Scholastic and the (so-called) Humean tradition has presumed that Aristotle meant going from particular statements to universal statements. But the alternate view, namely that Aristotle meant going from particular things to universal ideas, prevailed all through antiquity and then again from the time of Francis Bacon until the mid-nineteenth century. Recent (...) scholarship is so steeped in the first-mentioned tradition that we have virtually forgotten the other. In this essay McCaskey seeks to recover that alternate tradition, a tradition whose leading theoreticians were William Whewell, Francis Bacon, Socrates, and in fact Aristotle himself. The examination is both historical and philosophical. The first part of the essay fills out the history. The latter part examines the most mature of the philosophies in the Socratic tradition, specifically Bacon’s and Whewell’s. After tracing out this tradition, McCaskey shows how this alternate view of induction is indeed employed in science, as exemplified by several instances taken from actual scientific practice. In this manner, McCaskey proposes to us that the Humean problem of induction is merely an artifact of a bad conception of induction and that a return to the Socratic conception might be warranted. (shrink)

A ansiedade gerada pela possível criação de inteligência artificial geral, algo profetizado desde a fundação do campo de pesquisa (i.e., Dartmouth's Summer Research Project on Artificial Intelligence) (MCCARTHY et al., 1955), é algo comumente investigado dentro dos círculos transhumanistas e singularistas (KURZWEIL, 2005; CHALMERS, 2010; TEGMARK, 2016; 2017; CORRÊA; DE OLIVEIRA, 2021). Por exemplo, em seu livro “Superintelligence: Paths, Dangers, Strategies”, Nick Bostrom (2014) apresenta uma série de argumentos para justificar a ideia de que precisamos ser cautelosos em relação (...) a criação de inteligência artificial avançada ou inteligência artificial geral. Contudo, muito dos argumentos levantados, em suas versões originais (i.e., convergência instrumental e ortogonalidade (OMOHUNDRO, 2008), são baseados em noções “vagas” de conceitos complexos (i.e., “inteligência”, “racionalidade”, “agência”). O objetivo deste resumo (apresentação) será introduzir o leitor/ouvinte ao campo de Segurança da Inteligência Artificial. Nesse campo, questões como o “Problema de controle” (i.e., evitar construir inadvertidamente uma inteligência artificial geral que prejudicará seus criadores) e o “Problema de Alinhamento” (i.e., criar sistemas de inteligência artificial que permaneçam seguros mesmo quando atuando de forma autônoma no ambiente real), que são questões muitas vezes debatidas apenas dentro da Filosofia ou Ficção Científica, ganham um aspecto muito mais real e formal (AMODEI et al., 2016, HUBINGER et al., 2019). A criação de alguns dos modelos de inteligência artificial mais avançados já criados (e.g., AlphaGo, GPT-3) (SILVER el al., 2016; BROWN et al., 2020), está ligado a utilização de dois paradigmas da área de Aprendizagem de Máquina, i.e., Aprendizagem Profunda e Aprendizagem por Reforço. Dentro deste contexto, podemos definir “um sistema autônomo inteligente” como “um sistema que implementa uma política ótima (tecnicamente "ϵ-greedy optimal") para alguma função de recompensa” (ORSEAU et al., 2018). Podemos também definir tais sistemas como “maximizadores de utilidade esperada” (VON NEUMANN; MORGENSTERN, 1944). Um sistema de IA maximizando uma função de recompensa (i.e., objetivo) especificada erroneamente pode vir a causar danos reais quando interagindo no ambiente real, seja por erros de especificação (i.e., Efeitos Colaterais Negativos, Hackeamento de Recompensa, Interrupção Segura), ou quando o domínio de treinamento é diferente do domínio de implantação (i.e., Exploração Segura e Mudança de Domínio). Ao mesmo tempo, especificar objetivos complexos (e.g., preferências e valores humanos) é uma tarefa extremamente complexa, e quando visamos a possibilidade de inteligência artificial avançada agindo no mundo real, é imperativo que tais sistemas estejam: (1) alinhados com nossos objetivos; e (2) desenvolvidos com um design que evite os problemas citados acima. Contudo, tais problemas permanecem em aberto. Por fim, gostaria de ressaltar que no cerne desta problemática, não temos apenas problemas técnicos de aprendizagem de máquina, mas uma importante questão de cunho “Moral”: “O que é a coisa ‘certa” a fazer”? “Qual o objetivo correto a ser perseguido”? “Como podemos especificar isso”? Perguntas como essas prometem um fértil campo para pesquisas interdisciplinares envolvendo inteligência artificial, aprendizagem de máquina, ciências da computação e filosofia moral. (shrink)

The AI Robotics Ethics Society (AIRES) is a non-profit organization founded in 2018 by Aaron Hui to promote awareness and the importance of ethical implementation and regulation of AI. AIRES is now an organization with chapters at universities such as UCLA (Los Angeles), USC (University of Southern California), Caltech (California Institute of Technology), Stanford University, Cornell University, Brown University, and the Pontifical Catholic University of Rio Grande do Sul (Brazil). AIRES at PUCRS is the first international chapter of AIRES, and (...) as such, we are committed to promoting and enhancing the AIRES Mission. Our mission is to focus on educating the AI leaders of tomorrow in ethical principles to ensure that AI is created ethically and responsibly. As there are still few proposals for how we should implement ethical principles and normative guidelines in the practice of AI system development, the goal of this work is to try to bridge this gap between discourse and praxis. Between abstract principles and technical implementation. In this work, we seek to introduce the reader to the topic of AI Ethics and Safety. At the same time, we present several tools to help developers of intelligent systems develop "good" models. This work is a developing guide published in English and Portuguese. Contributions and suggestions are welcome. (shrink)

A AI Robotics Ethics Society (AIRES) é uma organização sem fins lucrativos fundada em 2018 por Aaron Hui, com o objetivo de se promover a conscientização e a importância da implementação e regulamentação ética da AI. A AIRES é hoje uma organização com capítulos em universidade como UCLA (Los Angeles), USC (University of Southern California), Caltech (California Institute of Technology), Stanford University, Cornell University, Brown University e a Pontifícia Universidade Católica do Rio Grande do Sul (Brasil). AIRES na PUCRS é (...) o primeiro capítulo internacional da AIRES, e como tal, estamos empenhados em promover e aprimorar a Missão AIRES. Nossa missão é focar na educação dos líderes da IA de amanhã em princípios éticos, para assegurar que a IA seja criada de forma ética e responsável. Como ainda existem poucas propostas de como devemos implementar princípios éticos e diretrizes normativas na prática do desenvolvimento de sistemas de IA, o objetivo deste trabalho é tentar diminuir esta lacuna entre o discurso e a práxis. Entre princípios abstratos e implementação técnica. Neste trabalho, buscamos introduzir o leitor ao tema da Ética e Segurança da IA. Ao mesmo tempo, apresentamos uma série de ferramentas para auxiliar desenvolvedores de sistemas inteligentes a desenvolver “bons” modelos. Este trabalho é um guia em desenvolvimento publicado em inglês e português. Contribuições e sugestões são bem vindas. (shrink)

This study aimed to survey wild species voluntarily received or rescued in the Lake District, State of Rio de Janeiro, in 2011. The research aimed to identify endangered species, quantify the groups and know the destination given to specimens. The records were obtained from the Instituto Ecológico Búzios Mata Atlântica, an NGO responsible for the Environmental Protection Area named Pau-Brasil and for the Lake District. The analysis showed that 181 animals were seized, 51% mammals (13 species), 25% reptiles (13 species), (...) 24% birds (11 species) and 1% fish (1 species). Amongst those animals, 12 species are included in the List of Endangered Brazilian Fauna Species. (shrink)

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, this (...) article will explore concept combinations, and will argue that emergent associations are a result of abductive reasoning within conceptual space, that is, below the symbolic level of cognition. A tensor-based approach is used to model concept combinations allowing such combinations to be formalized as interacting quantum systems. Free association norm data is used to motivate the underlying basis of the conceptual space. It is shown by analogy how some concept combinations may behave like quantum-entangled particles. Two methods of analysis were presented for empirically validating the presence of non-separable concept combinations in human cognition. One method is based on quantum theory and another based on comparing a joint probability distribution with another distribution based on a separability assumption using a chi-square goodness-of-fit test. Although these methods were inconclusive in relation to an empirical study of bi-ambiguous concept combinations, avenues for further refinement of these methods are identified. (shrink)

Exclusionary defeat is Joseph Raz’s proposal for understanding the more complex, layered structure of practical reasoning. Exclusionary reasons are widely appealed to in legal theory and consistently arise in many other areas of philosophy. They have also been subject to a variety of challenges. I propose a new account of exclusionary reasons based on their justificatory role, rejecting Raz’s motivational account and especially contrasting exclusion with undercutting defeat. I explain the appeal and coherence of exclusionary reasons by appeal to commonsense (...) value pluralism and the intermediate space of public policies, social roles, and organizations. We often want our choices to have a certain character or instantiate a certain value and in order to do so, that choice can only be based on a restricted set of reasons. Exclusion explains how pro tanto practical reasons can be disqualified from counting towards a choice of a particular kind without being outweighed or undercut. (shrink)

Tradução para o português do ensaio "Freedom and Resentment”, de P. F. Strawson. Publicado originalmente em Proceedings of the British Academy, v. 48, 1960. Republicado em Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 2-28]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da UFSC, 2015. ISBN: 9788532807250.

Tradução para o português do ensaio "Social Morality and Individual Ideal”. Publicado originalmente em Philosophy: The Journal of the Royal Institute of Philosophy, vol. XXXVI, n. 136, p. 1-17, Jan. 1961. Republicado em: STRAWSON, P. F. Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 26-44]. ]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da (...) UFSC, 2015. ISBN: 9788532807250. (shrink)

Political legitimacy is best understood as one type of a broader notion, which I call institutional legitimacy. An institution is legitimate in my sense when it has the right to function. The right to function correlates to a duty of non-interference. Understanding legitimacy in this way favorably contrasts with legitimacy understood in the traditional way, as the right to rule correlating to a duty of obedience. It helps unify our discourses of legitimacy across a wider range of practices, especially including (...) the many evaluations we increasingly make of international institutions of various sorts, but also including domestic institutions. (shrink)

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

In this paper, I reply to 18 of the essays on panpsychism in this issue. Along the way, I sketch out what a post-Galilean science of consciousness, one in which consciousness is taken to be a fundamental feature of reality, might look like.